@shaft Il me semble qu'il existe un dépôt tiers avec différentes versions de php.