setup.php ajouté en version propre.