Pourrions-nous éventuellement masquer ce paramètre complètement ? Il semble si rare que quelqu’un ait besoin de le modifier, et il est si spécialisé. Un paramètre qu’il faut (peut-être ?) ajuster tous les quelques années 
Je vote pour supprimer ce paramètre et en finir ?