Le premier acte de « donation au public » de la bibliothèque de Mazarin (1650)