theorembeweisendes Programm - French English Dictionary