Usual_hypotheses loading ...