sig val cherche_midi : string -> int end