We define and study coherent states, a Berezin-Toeplitz quantization and covariant symbols on the product Xi := G x g(#) between a connected simply connected nilpotent Lie group and the dual of its Lie algebra. The starting ...