algorithme de Lenstra