Ok, finalement j'ai remplacé le fichier defines.php par celui qu'il y a dans le dossier "patches" de l'administration et ça marche. La mise à jour des patches s'est effectuée sans erreur cette fois.
Désolé d'être un peu lourd, mais je voudrais être sûr de ce que je fais (et d'avoir bien traduit l'explication en anglais)... Pour metre à jour Joomla (1.5.15 --> 1.5.17) et JMS (1.2.14 -->1.2.28), il me faut désactiver les patches, faire la mise à jour de joomla, la mise à jour de JMS (en remplaçant simplement les fichiers ?) puis re-installer les patches ?
Merci pour votre aide précieuse