Fraïssé_limit loading ...