Tools for Infinite Lagrange