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.