Logique et mathématique chez Bernard Bolzano — Jan Sebestik