Étiquette  Fraction irréductible def