Bonsoir,
Le phpmyadmin ne disposait pas de la fonction que tu préconisais
Euh, c'est très étonnant... Je penche plutôt pour une étourderie de ta part

Sinon, à titre d'information, on peut aussi le faire via une simple requête :
repair table nom_de_la_table