correction de petits bugs, et mise en marche de l'instruction see
ajout de l'aide de see