Submissions for team LeProg on problem files_main