WordPress : Renomer l’intitulé de la zone d’édition de l’excerpt

C’est vrai que lorsque l’on parles d’excerpt, personne ne comprend a quoi cela corresponds.
Pour changé l’intitulé de cette zone d’édition, il suffit d’utiliser le bout de code suivant :

add_filter( 'gettext', 'wpse22764_gettext', 10, 2 );
function wpse22764_gettext( $translation, $original )
{
if ( 'Excerpt' == $original ) {
return 'Sous-titre';
}else{
$pos = strpos($original, 'Excerpts are optional hand-crafted summaries of your');
if ($pos !== false) {
return  'Sous-titre affiché dans les push.';
}
}
return $translation;
}