Preuve d'un algorithme