Divers changements
Rationalisation de #95