comment ajouter un raccourci dans HTML

<?php
	echo do_shortcode('[name_of_shortcode]');
?>
MAKSTYLE119