#Mon Aug 16 15:38:35 EDT 2004
help_plugin_name=API principale (core) du syst\u00E8me d'aide
providerName=Eclipse.org
toc_extension_point_name=Tableau d'aide des contributions au contenu
contexts_extension_point_name=Aide contextuelle
content_producer_extension_point_name=G\u00E9n\u00E9rateur de contenu d'aide
