Réduction
Démonstration et discussion
Applications