let
compatible_h ~pieceG ~pieceD =
(** G est compatible horizontalement avec D ssi G.d = D.g, *)
pieceG.d = pieceD.g