higher-order path termination - French English Dictionary