On the microscopic derivation of a mass formula