iso=iooo ; Df ( « Dec.