Installez rapidement un Serveur Web, git, des librairies python, WiringPi, nodejs et Node-RED pour votre Raspberry Pi. Pratique et utile quand vous venez d'installer Raspbian.
More complete info here http://cluster015.ovh.net/infos/ (thanks to @42antoine)
/usr/local/php5.3/bin/php => PHP 5.3.29 (cli) (built: Nov 21 2017 08:55:07)
/usr/local/php5.4/bin/php => PHP 5.4.45 (cli) (built: Nov 21 2017 08:35:51)
/usr/local/php5.5/bin/php => PHP 5.5.38 (cli) (built: Nov 21 2017 08:46:45)