[Doc] Fix video playback on Firefox

[ThieryMichel]

Problem

Some mp4 Videos were broken in the documentation because they used the h265 codec instead of h264

Solution

Used mediainfo to detect the video with the bad codec, and ffmpeg to reencode all h265 videos to h264.

The PR used the following script:

for file in ./*; do
  codec=$(mediainfo --Inform="Video;%CodecID%" "$file")
  if [ "$codec" = "hvc1" ]; then
    # Construct the output file name
    output_file="${file%.*}_avc1.${file##*.}"
    
    # Convert the file to avc1 (H.264)
    ffmpeg -i "$file" -c:v libx264 -c:a copy "$output_file"

    rm $file
    mv $output_file $file
    
    echo "Fixed codec for $file"
  fi
done

How To Test

make docker-doc

The updated video files can now be read by Firefox and vscode.

Additional Checks

• The PR targets master for a bugfix, or next for a feature
• The PR includes unit tests (if not possible, describe why)
  unneeded, this only impact the documentation
• The PR includes one or several stories (if not possible, describe why)
  unneeded, this only impact the documentation
• The documentation is up to date

Also, please make sure to read the contributing guidelines.