reste de Lagrange