nom propre→ masculin→. [X11] [window manager]. Ancien nom de Sawfish, mais Sawmill était en passe de devenir une marque déposée, il a donc fallu renommer...
