Consequences of a 12-mm diameter high pressure gas release on a buried pipeline. Experimental setup and results. (July 2018)