Je viens d'aller de l'avant et j'ai ajouté PHP7 à mon serveur en suivant un guide en utilisant le PPA de ondej. Maintenant, je veux supprimer l'ancien php, donc évidemment je l'ai fait sudo apt-get remove --purge php5et ti semblait que tout s'est bien passé, sauf qu'il n'est pas désinstallé. Si je...