3 éléments à classer, 3 runs for 3 chemins (classement du plus précis au plus général)théorème de Pocklington → généralisation théorème de Pocklington → théorème théorème de Pocklington → universalisation
RULES