let kill_option = function
        | Some(u)        -> u;
        | None                -> raise Erreur_option