French_theory loading ...