Update specification_in_french.tex