Explosiones por fuga de gas: ¿Cómo detectarla y qué se debe hacer?