Nelly David (1925-2008)