let compatible_h_option pieceG pieceD =
        myprint myverb "Appel a la relation de compatibilite horizontale.";
        match (pieceG, pieceD) with
        | Some x, Some y -> 
                myprint myverb "\tLes deux cases sont des 'Some'.";
                x.d = y.g;
        | _, _                 -> 
                myprint myverb "\tUne des deux cases est un 'None'.";
                true