Nombre normal (informatique)