Preuve d'algorithme 1/3