Jean-Paul detected a couple of small ASN.1 error in the edition 7 of X.500 (2012 edition). I have updated the modules and the corrected modules are available at http://www.x500standard.com/index.php?n=Ig.Asn1. The text will be amended during the final editing process by ITU-T. Erik