13 500 détenus en moins: la population carcérale va-t-elle remonter avec le déconfinement ?