“The XIX century penal codes did include extenuations or even replacements of punishments in case the convicts were minors, but the courts and prisons were the same for both minors and adults.”