Un sistema robotizzato per lo spegnimento e la prevenzione di incendi in galleria