Resolve "Place de Theme dans la barre de menu"

Closes #164 (closed)

Création d'une boîte de dialogue pour les préférences ouvrables depuis le menu Fichier. Déplacement du changement du thème qui était dans la barre de menu vers cette nouvelle boite de dialogue.