Autocommandes

définition de quelques fonctions utiles lors de la saisie.