commentaire et correctifs mineurs au code