Je ne sais plus pourquoi j'ai écrit « y'a aucun outil simple pour agrandir une partition chiffrée », mais c'est faux, au moins pour le cas où la partition chiffrée à agrandir est la dernière du disque : parted /dev/sda resizepart 2 100%
+ cryptsetup resize <label>
+ resize2fs /dev/mapper/<label>
= ça chemar.