[exec] echo « 
« ;
echo do_shortcode(‘

Faire un choix dans le menu ci-dessus

‘);
echo « 

« ;
[/exec]