manque type pour Empty.printDTD