let
compatible_v ~pieceB ~pieceH =
(** B est compatible horizontalement avec H ssi B.h = H.b, *)
pieceB.h = pieceH.b