-
Erwan Jahier authored
Most of the change will be undone latter, because my plan is to use lurettetop instead, and therefore to remove all those warts in Lutin. However, as this is currently working, I take a snapshot before breaking everything. nb : non-reg test don't event pass.
9b3e5fc8