let lecture_plateau ~file = plateau_of_instance (lecture_instance ~file)