  Quantized contact transforms (QCT) have been constructed in \cite{SKK73}. We
give here a complete proof of the fact that such QCT commute with the action of
microdifferential operators. To our knowledge, such a proof did not exist in
the literature. We apply this result to the microlocal Radon transform.
