Option globale pour la taille minimale de l'historique par défaut

Plus une réorganisation des options