Combien coûte annuellement à l'État une personne détenue en prison en France ?