In this talk I will explain how to prove the existence of the thermodynamic limit for a many-body quantum crystal in which the electrons are quantum and the nuclei are classical point particles, with disordered charges and locations around a lattice. This is a collaboration with Xavier Blanc, based on previous work with Christian Hainzl and Jan Philip Solovej.