Ces boutons devraient être dans la barre supérieure, comme ici :

Est-ce qu'on peut y accéder en cliquant quelque part en haut à gauche de votre fenêtre sous KDE ?

Bonjour Alexis et merci pour la réponse ;-)
Le bouton proposé sur la photo est le bouton d'agrandissement de fenêtre.
Mais je pense avoir compris pourquoi je n'ai pas ces boutons sous KDE...
Le problème viendrait du fait que j'ai installé l'application gtk3-nocsd qui permet de remplacer la barre de fenêtre GNOME par celle de KDE. En effet, les fenêtres KDE sont un peu plus customisables.
Ça me permet d'avoir le même comportement de fenêtre pour toutes les applications. Les nouvelles versions de GNOME intègrent les boutons et menus dans la barre de fenêtre ; du coup, je les ai perdus aussi :-D
Pour contourner le problème, j'ai dû changer la racine des projets de AMC par le dossier racine ("/") et alors cliquer droit dans un navigateur de fichiers sur un dossier projet AMC et choisir "Ouvrir avec une autre application" et puis choisir AMC.
Ce n'est pas la plus belle des solutions, mais ça évite de devoir désactiver gtk3-nocsd.
Merci encore pour la réponse et l'idée ;-)

J'ai parlé trop vite !
Le problème se pose à nouveau au moment de la récupération des copies pour les corrections :'-(

• est-ce que sans gtk3-nocsd le menu est accessible ?
• est-ce qu'il se passe la même chose avec par exemple gedit, qui a également des boutons et menus dans sa barre de titre ?

Pas de souci avec gedit paradoxalement. Les boutons sont également au-dessus, mais pas dans la barre (image jointe)
De plus les fenêtres de dialogue sont des standards gnome et ils n'ont pas de problème non plus (image jointe)
Je vais tenter de désactiver temporairement gtk3-nocsd pour voir si c'est bien l'origine du problème...

Effectivement, sans gtk3-nocsd, ça fonctionne : les boutons apparaissent...
J'installerai une session gnome pour ouvrir AMC afin de résoudre temporairement le problème.
Merci de tout coeur pour votre aide ;-)

Bonjour,
Nouvelle information pour utiliser gtk3-nocsd et avoir quand-même les barres de GNOMES intégrés aux fenêtres de dialogue :
Écrire dans son ~/.bashrc (sous les Debian et dérivés) ou son ~/.xsession (sous Arch et dérivés) :

export GTK_CSD=0
export LD_PRELOAD=<"full path" of your libgtk3-nocsd.so.0 file>

Et tout devrait fonctionner correctement ;-)