Comment raisonner par disjonction de cas ?

Traiter séparément les différents cas qui épuisent toutes les configurations possibles.