[Tutti-commits] 01/01: Pouvoir éditer des int dans l'éditeur de configuration