Cela permet notamment de mieux documenter le type de RegistreIndicateurs.definitions.
RegistreIndicateurs.definitions