lemme d’Euclide