Lago Tinquilco. ~~ Le lac Tinquilco.