Academicianul Ion Petrescu, general al Armatei şi cetăţean de onoare al Braşovului, a încetat din viaţă