--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/wp-content/themes/IRI-Theme/searchform.php	Wed Feb 03 15:37:20 2010 +0000
@@ -0,0 +1,43 @@
+	<?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> 
\ No newline at end of file