We define and study coherent states, a Berezin-Toeplitz quantization and
covariant symbols on the product between a connected simply connected nilpotent
Lie group and the dual of its Lie algebra. The starting point is a Weyl system
codifying the natural Canonical Commutation Relations of the system. The
formalism is meant to complement the quantization of the cotangent bundle by
pseudo-differential operators, to which it is connected in an explicit way.
Some extensions are indicated, concerning τ-quantizations and variable
magnetic fields.Comment: 21 page