Thank you all for your precious help and support

I installed all the 3 applications suggested so far, plus another one suggested by a friend of mine, and this is the evaluation of each one of them:
istanbul
http://live.gnome.org/Istanbul
+ fast saving (probably the encoding is done on the fly)
+ installable through yum
+ half and quarter size recording (quarter size pretty useless since already half size is barely visible)
- can't set frame rate nor video quality
- jerky video produced
- only one video format (Ogg Theora)
- selected area borders unmarked during recording
- output videos generated seem to move at faster rate
- frame rate at full size gets slower and slower as the recording goes on
recordmydesktop
http://recordmydesktop.sourceforge.net/
+ installable through yum
+ can set frame rate and video quality, plus several other more detailed settings
+ let's you choose a single window to record
+ very smooth video produced
+ less processing power needed with "Quick Subsampling" and or "Zero Compression" options enabled
- only one video format (Ogg Theora)
- selected/window area borders unmarked during recording
- does not support desktop 3d effects
xvidcaps
http://xvidcap.sourceforge.net/
+ installable through yum
+ can set frame rate and video quality, plus several other more detailed settings
+ selected/window area borders clearly marked during recording
+ processing power in use indicator
+ several file formats and video codecs available (mpeg, avi, asf, flv, swf, dv, m1v, m2v, mov)
+ very smooth video produced
- missing "hide controls" option during recording
- preferences not intuitively reachable (through a right click on the the output file name??? Com'on!!!)
Wink
http://www.debugmode.com/wink/
+ can set frame rate and video quality
+ handy controls for recording area selection
+ automatic generation of html page with the output video embedded
- slow video produced
- selected/window area borders unmarked during recording
- not installable through yum
- only one video format (swf or equivalent exe for Windows only)
- long processing time for the output file creation
Eventually my choice goes definitely to xvidcaps.