Debian-facile

Je préfère dash car bash est vraiment vieux (1987 selon Wikipedia) et ça serait bien d'avoir un nouveau truc propre et rapide, surtout que ça a l'air d'avoir accelleré le temps de boot chez Ubuntu. Un peu de doc sur dash.