LR1 ( ensembles)
2. LR2 ( quantificateurs)
3. LR3 ( conjonction, disjonction, implication,équivalence)
4. LR4 ( récurrence)
5. LR5 ( les différents types de raisonnement)