opérateur d équipement mines souterraines dans la république du costa rica