ajout de time
changement de la façon de choisir dans imp : conservation de l'ordre des formules