Barrapunto

Pero el HTML si lo ha especificado, que viene siendo la etiqueta VIDEO, igual que hizo con la etiqueta IMG. Pero luego tu puedes usar el codec que consideres oportuno en tu pagina, GIF, JPEG, PNG, BMP, ...