Nombre de décimales des notes exportées

Nombre de décimales à afficher lors de l'exportation. Ce réglage peut être modifié lors de chaque exportation.