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

logique modale de L → logique modale → logique

RULES
logique modale;6;logique;6