Quelques trucs d'optimisation de PHP (pour une part basés sur les structures internes de Zend Optimizer).
