Corrections suites aux propositions de phpdoc r21117  : le script n'a pas toujours enlevé les commentaires à l'ancien format