Logique formelle, logique dialectique — Henri Lefebvre