Natation - 100m brasse (pb) - Record du monde du 100 m brasse en petit bassin pour Adam Peaty