Lemme d'échange : énoncé et démonstration détaillée avec le corollaire

Lemme d'échange : énoncé et démonstration détaillée avec le corollaire