Suppression des protections

Toutes les occurences non protégées des caractères ``$\backslash{}$'', ``´ '', et ``"'' qui ne résultent pas d'un développement sont supprimées.



Félix Hauri 2004-06-23