Mise au propre de la méthode de chargement

Modification du système de chargement pour pouvoir l'utiliser pour
charger, aussi, les règles d'inférences.