Le lac Gilbert : son nom, son histoire, etc.