--- /dev/null
+[(#REM) \r
+ Zone de recherche. Sur les sites en HTML5, utilise type="search"\r
+ sur le input, et type="text" par défaut pour les autres.\r
+ Dans ce dernier cas, on renseigne quand même class="search"\r
+ ("recherche" serait mieux, mais la saisie input utilise automatiquement\r
+ la valeur de #ENV{type}).\r
+][(#INCLURE{fond=saisies/input,\r
+ env,\r
+ type=#HTML5|?{search,text},\r
+ class=[(#HTML5|?{[(#ENV{class})],[(#ENV{class}) ]search})]})]\r