Est-ce que Zend optimizer est installé avec PHP5? Sinon comment faire pour l'avoir avec Gandi AI?