diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml
index 62f45b7..663e942 100644
--- a/flap/src/hopix/hopixTypechecker.ml
+++ b/flap/src/hopix/hopixTypechecker.ml
@@ -234,7 +234,7 @@ and synth_field
   :  HopixTypes.typing_environment -> expression Position.located
   -> label Position.located -> ty Position.located list option -> HopixTypes.aty
   =
-  fun tenv expr lbl tlist ->
+  fun tenv expr lbl _tlist ->
   let expr_type = synth_expression tenv expr in
   match expr_type with
   | ATyCon (cons, atlist) ->
@@ -248,7 +248,8 @@ and synth_field
       | HopixTypes.InvalidInstantiation { expected; given } ->
         invalid_instantiation (Position.position expr) expected given
     in
-    (* TODO: On doit utiliser cons et tlist aussi *)
+    (* Peut être inutile ? *)
+    let _ = HopixTypes.lookup_fields_of_type_constructor lbl.position cons tenv in
     snd (HopixTypes.destruct_function_type lbl.position arrow)
   | _ as x -> x