Une liste d'éditeurs de vidéos sous linux :