Context: CREATE TABLE table_name_5 (school_name VARCHAR, year_open VARCHAR)
Question: WHAT IS THE HIGHEST 2012 ENROLLMENT FOR école mathieu-martin, AFTER 1972?
Answer: SELECT MAX(2012 AS _enrolment) FROM table_name_5 WHERE school_name = "école mathieu-martin" AND year_open > 1972