WordPress: Cambiar el nombre de la etiqueta del área de edición del extracto

Es cierto que cuando hablamos de un extracto, nadie entiende a qué se refiere.
Para cambiar el título de esta área de edición, simplemente utiliza el siguiente fragmento de código:

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;
}