Quoting georges mariano (georges.mariano@inrets.fr):
> > recommandation entre /opt et /usr/local ?
> a priori /usr/local le temps qu'il n'y a pas d'installer debian...
FHS recommande /opt pour ce qui s'installe dans un seul répertoire.
/usr/local serait plutôt pour les compils maison (qui vont mettre des trucs
dans {prefix}/bin, {prefix}/lib, etc.).
Pour cette raison, je fais en général une partition séparée pour /opt