let
ecriture_plateau ~p = ecriture_instance ~i:(instance_of_plateau p)