Réduction

Démonstration et discussion

Applications