Cécile Miguel (1921-2001), une vie oubliée