/**
 * Le filtre extraire_email permet de récuperer toutes les adresses email
 * présentes dans le texte retourné par la balise sur laquelle il s'applique.
 * 
 * @param string $texte
 * 		l'affichage retourné par la balise
 * 		
 * @return array
 * 		un tableau dédoublonné des adresses email
**/
function extraire_email($texte) {
	//  /toto@truc.net étant une adresse valide ne pas confondre
	//  avec toto@truc.net dans href="mailto://toto@truc.net"
	$texte = preg_replace(',mailto://,', '', $texte);@@@SPIP_DIFF1@@@


@@@SPIP_DIFF0@@@//  contrôle : voir http://tools.ietf.org/html/rfc3696#page-6
	if (preg_match_all(";[a-z0-9!#$%&'*+/=?^_`{|}~-]+(?:\.[a-z0-9!#$%&'*+/=?^_`{|}~-]+)*@(?:[a-z0-9](?:[a-z0-9-]*[a-z0-9])?\.)+[a-z0-9](?:[a-z0-9-]*[a-z0-9])?;ims", $texte, $matches))
		return array_unique($matches[0]);
	return array();
}