Bonjour, Depuis quelques semaines, le répertoire DEFS grossit sans arrêt jusqu’à atteindre plusieurs Gigas. Je suis obligé de l’épurer manuellement. Quelqu’un a-t-il une solution pour remédier à ce problème …? Merci.
