Work on loc. anal.

Improvement of the loc. anal. part.
Consistent with the latest version of the Main lemma.

Still need work on details like \overline{K} versus K, minoration,
majoration, how to obtain them, and make something pretty...