Procédure installation PHPDoc