huit mille (en chiffres)