I finally found how to remap control keys and I'm including it here for future references: Double command is a software that does exactly the same thing (mapping only the right option key to control key). You can use it to change the control keys of your mac using this application.
http://doublecommand.sourceforge.net/