Variation du nombre de détenus en maison d'arrêt entre janvier et juillet 2020