A swimming pool with a children section