Marianne Grivel — French librarian and art historian