Intro

Lemme 1 terminé