[3.12.10_tlduck+copy]