Effet de la pression sur la teneur en eau du magma