6.42.19 Longueur d’une liste de listes :
sizes
sizes
permet d’avoir la liste des longueurs d’une liste de listes.
On tape :
sizes([[3,4],[2]])
On obtient :
[2,1]
