2 éléments à classer, 2 runs for 1 chemins (classement du plus précis au plus général)corps pythagoricien → corps commutatif → corps
RULEScorps commutatif;6;corps;6