Swimming pool with a roof