Le lac Cuitzeo.