function autoriser_article_ville_modifierextra_dist($faire, $type, $id, $qui, $opt){
    $id_rubrique = $opt['contexte']['id_rubrique'];
    if (!$id_rubrique) {
        $id_rubrique = sql_getfetsel("id_rubrique", "spip_articles", "id_article=".intval($id));
    }
    if ($id_rubrique == 9) {
        return true;
    }
    return false;
}
function autoriser_article_ville_voirextra_dist($faire, $type, $id, $qui, $opt) {
    return autoriser('modifierextra', $type, $id, $qui, $opt);
}