Laval_Thomism loading ...