Thanks Patrice...
So at the same time you gave me my answer: the keyword for right control modifier in xkb type config files is RControl (not rctrl as I tried).
Thanks Patrice...
So at the same time you gave me my answer: the keyword for right control modifier in xkb type config files is RControl (not rctrl as I tried).