Breathing gas at increased pressure in diving