The objective of this work is to reconsider the schematization problem of [6], with a particular focus on the global case over Z. For this, we prove the conjecture [Conj. 2.3.6][15] which gives a formula for the homotopy groups of the schematization of a simply connected homotopy type. We deduce from this several results on the behaviour of the schematization functor, which we propose as a solution to the schematization problem.

Comment: 21 pages, french