1 éléments à classer, 2 runs for 1 chemins
(classement du plus précis au plus général)

quantificateur universel → quantificateur

RULES