Le lac de Trecolpas (Mercantour)