lemme d'Euclide