Reformulate a statement that would need a proof.

I do not prove anything about Lagrangians, so that statement should be
formulateted as a conjecture.
Merge branch 'master' into compositio