“…turns out to be the graph of a function F , which is thus to be found with the help of functional equations which originate from C 2,1 regularity. While in some cases these functional equations are easy and give directly the free boundary F , possibly in terms of integrals to be computed numerically (see, e.g., [1,2,4,13,21] for examples), our functional equation turns out to be an ODE, whose solution cannot be computed analytically but that we prove to admit a unique global solution. (See [5] for an analogous result and also Remark 2.4 for highlights on the differences of methods used there versus ours.)…”