Derivation of Hartree’s theory for mean-field Bose gases@@@Dérivation de la théorie de Hartree pour des gaz de bosons dans le régime de champ moyen