Éléments de logique formelle — Georges-Henri Luquet