simpl in infer plutôt que inversion infer, Merci Simon !