Le Lac Pavin. Historique et hydrobiologie