better EGA transcoding tool

tools/build-ega-mp4.sh

@@ -0,0 +1,34 @@
+#!/bin/bash
+
+set -eu
+
+source tools/fonctions.sh
+
+# retour aux vieilles pratiques : EGA 640x350
+# c'est une nouveauté du 18 octobre 2025
+
+SEQ="essai"
+if [ $# == 1 ] ; then
+	SEQ=$1
+fi
+echo "[$SEQ] going EGA" | tee -a WS/log
+
+debut=$(date +%s)
+for source in $(ls -1 frames/$SEQ/*.png)
+do
+	bname=$( basename $source )
+	destname="frames/EGA/$bname"
+	# echo $source "==>" $destname
+
+	convert	$source					\
+		-resize   '640x350!' 			\
+		-dither   none				\
+		-remap    datas/ega-colors.png		\
+		$destname
+
+done
+
+ff_encodage "EGA/" "ega-$SEQ.mp4"
+
+fin=$(date +%s)
+echo "$SEQ -> EGA" $(( fin-debut )) "secondes" >> WS/log