qqs changements de formulation pour valid.tex