clarifications dans le pdf
formalisme inséré dans la description de la procédure de mise à jour