I search a video stabilizer software.

• Input: Video in AVI/MPG
• Output: Same video, stabilized, in a common video format
• It should be easy to use. It is for my son - twelve years old.

Software for Linux is preferred, but Windows is OK, not mac.