Modification de phpTools par PHPTools