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.