Oh grand Saint-Nicolas, patron des écoliers…