taf algos sur lemme