Include  inutiles.

Suppression de morceaux de PHP obsolètes dans l'index.