Réduire le menu de gauche

Le nouveau menu de gauche peut changer d’aspect (se transformer en un menu beaucoup moins large et déroulant).

Voir ce tutoriel animé.