Quali sono le procedure da seguire in caso di perdita di pressione nell'impianto di gas?