Ces droites sont en faisceau ? is_harmonic_line_bundle est_faisceau_droite

### 10.18.16 Ces droites sont en faisceau ? `is_harmonic_line_bundle est_faisceau_droite`

`est_faisceau_droite` a comme argument une liste de droites.
`est_faisceau_droite` renvoie :
1 si ces droites sont concourantes en un point,
2 si ces droites sont parallèles,
3 si ces droites sont confondues,
et 0 sinon.
On tape :

`est_faisceau_droite([droite(0,1+i),droite(0,2+i), droite(0,3+i),droite(0,1)])`

On obtient :

`1`