Procedure di emergenza in caso di perdite di gas in un'officina meccanica