Move a lemma

The proof uses divided power polynomial rings hence the lemma has to be
moved to a spot after the introduction of such.

Thanks to Matthieu ROMAGNY
A few more fixes in crystalline.tex

Thanks to Matthieu ROMAGNY
Add a proof