Update facteur.cc