Functorial flatification of proper morphisms

For proper morphisms, we give a functorial flatification algorithm by blow-ups in the spirit of Hironaka's flatification algorithm. In characteristic zero, this gives functorial flatification by blow-ups in smooth centers. We also give a functorial \'etalification algorithm by Kummer blow-ups in characteristic zero.