Mise en forme de [Théorème du mariage ou de Hall]

Je sais pas qui a codé ça mais c’était aussi dégeu en LaTeX que le
résultat sur le pdf. Du coup, il faudrait vérifier que la démonstration
est bien correcte.