modifications fct (int k)