let get_a x =
  match x with Some v -> v | None -> failwith \lst"get_a"
Le type 'aoption du n'indique pas si le champ est réellement présent ou absent. Il faut donc tester, et lever une erreur si le champ n'est pas présent.