Piscines municipales, le grand plongeon