Configurer sa machine

Je mets à disposition ici une liste de "mini-tutos" pour bien configurer sa machine pour travailler efficacement sous Linux.

• Installer et utiliser Opam
• Installer et utiliser les pages manuel