Ah oué, y avait GT Basic aussi #nostalgie#

Sinon :

$ ls -l dash
-rwxr-xr-x 1 julien julien 298491 2008-03-09 22:30 dash

Ça fait beaucoup, 298 ko pour un shell léger