Petre Alexandrescu (1930-2009)