Cheville ouvrière de la bibliothèque, Ghislaine de Lavernette n'est plus