	<?php
	if ( isset($_GET['s']) ) {
		$search_text= utf8_decode(stripslashes($_GET['s']));
	} else {
		$search_text= "Rechercher";
	}	
	?>
		<div class="box">
			<div>
				<h6><?php _e("Search");?></h6>

				<div id="search">
					<form method="get" id="searchform" action="<?php bloginfo('url'); ?>/">
						<div>
							<input type="text" name="s" id="s"
										 value="<?php echo wp_specialchars($search_text, 1); ?>"
										 onfocus="clearInput('s', '<?php echo wp_specialchars($search_text, 1); ?>')" 
										 onblur="clearInput('s', '<?php echo wp_specialchars($search_text, 1); ?>')"
							/>
							<input type="submit" name="envoi" value="<?php _e("Search");?>" /> 
						<?php if (!have_posts() and isset($_GET['s'])) {
							echo ("
						
								<div id='msg' > 
									Il n&#145;y a aucun r&eacute;sultat  sur cette requ&egrave;te avec le moteur de recherche interne, vous aurrez  peut 	&ecirc;tre 
									plus de chance en cherchant sur les autres sites IRI grace au formulaire ci dessous :
								</div>
								");
							
							} else if (!isset($_GET['s'])) {
							echo ("<div id='msg' > 
									Ci dessous le formulaire vous permettra de chercher dans les autres sites de l'IRI :
								</div>");
							}
						 ?>

						</div>
					</form>
				</div>
				
			</div>
			<div class="cleaner"></div>	
		</div> 