quantificateur:Quantifiers 2
quantificateur2:quantifiers 1
quantificateur3:Quantifiers 2
quantificateur5:quantifiers 3
