Transform .wp-video to the native video player of the browser

I’ve found the right way digging through the WP documentation: https://developer.wordpress.org/reference/hooks/wp_video_shortcode/

This code seems to do the trick:

function buildVideoPlayer($output, $attr)
{
    // $output contains the default HTML string, created by the WP core
    // $attr is an associative array, which contains the parameters 
    // (src, poster, preload, etc.) specified in the shortcode

    // The following piece of HTML string will replace the default WP video player
    return "<video src="".$attr["mp4"].""></video>";
}
add_filter("wp_video_shortcode", "buildVideoPlayer", 10, 2);

Make sure to pass how many parameters do you want to catch in add_filter(). The default value is 1, but wp_video_shortcode has 4, and in this code, I needed the 2nd one.