Supply of professional tools intended for the maintenance of tunnel equipment in operation