Pour régler la largeur du menu de droite si présent (l’unité est le pixel)